The Complexity of Modal Logics under the Restriction to the Horn Fragment and/or Bounded Modal Depth
نویسنده
چکیده
منابع مشابه
On the Complexity of Fragments of Modal Logics
We study and give a summary of the complexity of 15 basic normal monomodal logics under the restriction to the Horn fragment and/or bounded modal depth. As new results, we show that: a) the satisfiability problem of sets of Horn modal clauses with modal depth bounded by k ≥ 2 in the modal logics K4 and KD4 is PSPACE-complete, in K is NP-complete; b) the satisfiability problem of modal formulas ...
متن کاملThe Modal Query Language MDatalog
We propose a modal query language called MDatalog. A rule of an MDatalog program is a universally quantified modal Horn clause. This language is interpreted in fixed-domain first-order modal logics over signatures without functions. We give algorithms to construct the least models for MDatalog programs. We show PTIME complexity of computing queries for a given MDatalog program in the logics KD,...
متن کاملConstructing the Least Models for Positive Modal Logic Programs
We give algorithms to construct the least L-model for a given positive modal logic program P , where L can be one of the modal logics KD, T , KDB, B, KD4, S4, KD5, KD45, and S5. If L ∈ {KD5,KD45, S5}, or L ∈ {KD,T,KDB,B} and the modal depth of P is finitely bounded, then the least L-model of P can be constructed in PTIME and coded in polynomial space. We also show that if P has no flat models t...
متن کاملComplexity of the Logic for Multiagent Systems with Restricted Modal Context
In this paper we continue our research in computational complexity of fragments of a particular belief-desire-intention (BDI) logic for cooperative problem solving (CPS) called TeamLog. The logic in question combines propositional multi-modal logic to express static aspects of CPS with propositional dynamic logic used for dynamic aspects of CPS. We concentrate here on the static fragment of the...
متن کاملThe Data Complexity of MDatalog in Basic Modal Logics
We study the data complexity of the modal query language MDatalog and its extension eMDatalog in basic modal logics. MDatalog is a modal extension of Datalog, while eMDatalog is the general modal Horn fragment with the allowedness condition. As the main results, we prove that the data complexity of MDatalog and eMDatalog in K4, KD4, and S4 is PSPACE-complete, in K is coNP-complete, and in KD , ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000